Nuprl Definition : w-tagged 0,22

w-tagged(tg;mss) == filter(ms.mtag(ms) = tg;mss
latex


Definitionsmtag(m), a = b, filter(P;l)
FDL editor aliasesw-tagged

origin